"Secondo Wittgenstein e i suoi seguaci del Circolo di Vienna, il senso delle proposizioni elementari è determinato dal complesso dei casi in cui esse sono vere, e da quelli in cui esse sono false. [. . . ] Parrebbe dunque costituire materia di discussione se sia il metodo di verifica, o il fatto di cui si verifica l'esistenza, a determinare il senso delle proposizioni"
Nell'opuscolo inedito (scrive Weinberg, 1936 - v. p. 294 n): Provabilità e significato, Carnap fornisce una definizione della verifica (controllabilità completa), molto precisa, nella quale questi vari aspetti della verifica vengono chiaramente distinti.
Principio generale: ogni enunciato fornito di significato è controllabile.
Siano
- S la proposizione che deve essere provata;
- T la proposizione-condizione di prova della proposizione S;
- T' la proposizione-condizione di verità di S;
- M la proposizione-prova di S.
Allora 
, ossia la proposizione-prova di una proposizione S, è la proposizione in cui si afferma che:
se si attua la condizione di prova di S, allora la condizione di verità di S sarà equivalente alla verità di S
Esempio:
Supponiamo di asserire che la temperatura di una data area spazio-temporale x è di 100° centigradi;
condizione di prova: porre entro x un termometro a mercurio;
condizione di verità : il vertice della colonna di mercurio deve coincidere col segno 100 della scala graduata.
Possiamo allora dire: "Se si mette entro x un termometro a mercurio, allora la coincidenza del vertice della colonna di mercurio col segno '100' sul termometro, implica S, e la non coincidenza implica non-S".
Le condizioni logiche di una qualsiasi proposizione-prova di questo tipo, richiedono:
- che risulti valida l'intera proposizione M (la proposizione prova deve essere una conseguenza degli assiomi logici e fisici del linguaggio);
- che non risulti controvalida la proposizione-condizione di prova T (non deve cioè violare gli assiomi logici e fisici del linguaggio);
- che risulti controllabile la proposizione-condizione di verità T'.
N.B.:
la condizione di verità T' di S deve risultare completamente e direttamente controllabile (controllabilità completa), vale a dire, la sua verità o falsità dev'essere rivelata all'osservatore direttamente e completamente per mezzo di un'osservazione.
Esistono, allora, in ogni linguaggio proposizioni, il significato e la verità delle quali risultano determinati in maniera esclusiva ed esauriente da dati concreti?
Non si produce così un assolutismo della verità e del significato delle proposizioni?
Carnap evita questo assolutismo sostenendo che ogni proposizione può essere considerata come un'ipotesi e che tutto è esprimibile. La distinzione tra il discorso e i dati concreti, osserva Weinberg (pp. 298-99; la stessa "introduzione della frase "dati concreti" viola il carattere formale della lingua, la quale parla soltanto di proposizioni, termini e simili") non può venir eliminata. "eppure essa sfugge all'espressione nell'idioma formale. Il problema di determinara la verità delle espressioni atomiche rimane sostanzialmente insoluto"(v. la voce proposizioni atomiche).
Il problema della controllabilità delle proposizioni generali, è invece trattato in maniera assai più soddisfacente. [ Cfr. la voce: "generalità"]
"Se in un linguaggio viene ammesso l'uso di operatori illimitati; e se la controllabilità incompleta delle proposizioni regolate da tali operatori costituisce una garanzia sufficiente che esse siano relative al mondo empirico, scompare il problema dell'induzione", che sorge soltanto in un sistema che richieda la controllabilità completa delle proposizioni generali.
